121. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,، Data processing,Data processing ، Logic design,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
122. Contemporary logic design
پدیدآورنده : Katz, Randy H., 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design ، Electronic digital computers -- Circuits,Design -- Data processing ، Integrated circuits -- Very large scale integration,، Logic design -- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K28C6
2005
123. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Circuits Design ، Electronic digital computers,Very large scale integration Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
رده :
TK
7888
.
4
.
K36
124. Contemporary logic design /
پدیدآورنده : Randy H. Katz, Gaetano Borriello
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided design,Electronic digital computers-- Circuits-- Design,Integrated circuits-- Very large scale integration-- Design-- Data processing,Logic design-- Data processing
رده :
TK7888
.
4
.
K36
2005
125. Contemporary logic design. ]CD[
پدیدآورنده : Katz, Randy H.,Randy H. Katz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Circuits Design ، Electronic digital computers,Very large scale integration Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
رده :
TK7888
.
4
.
K36
1994
126. Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
پدیدآورنده : George J. Milne, Laurence Pierre )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
683
127. Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
پدیدآورنده : Paolo E. Camurati, Hans Eveleing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
987
128. Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
پدیدآورنده : Daniel Geist, Enrico Tronci, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2860
129. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
75
.
C453
2001
130. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Tom Melham )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2144
131. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
پدیدآورنده : Dominique Borrione, Wolfgang Paul )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
3725
132. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
133. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
134. Current-mode VLSI analog filters : design and applications
پدیدآورنده : Mohan, P. V. Ananda
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Design and construction ، Electric filters,Design and construction ، Integrated circuits, Very large scale integration,Design and construction ، Linear integrated circuits,Design and construction ، Electric current converters
رده :
TK
7872
.
F5
M64
2003
135. Deep-submicron CMOS-ICs : from basics to ASICs
پدیدآورنده : Veendrick, Harry J.M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction , Metal oxide semiconductors, Complementary
رده :
TK
7874
.
V44
1998
136. Design and optimization techniques of high speed VLSI circuits
پدیدآورنده : Delaurenti, Marco,Marco Delaurenti
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
QA
76
.
9
137. Design automation :
پدیدآورنده : Michael L. Bushnell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided design,Engineering design-- Data processing,Integrated circuits-- Very large scale integration
رده :
TA174
.
B873
1988
138. Design automation :automated full-custom VLSI layout using the ULYSSES design environment
پدیدآورنده : Michael L. Bushnell
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Engineering design--Data processing,Computer-aided design,Integrated circuits--Very large scale integration
رده :
TA
،
174
،.
B87
،
1988
139. Design automation for timing-driven layout synthesis
پدیدآورنده : by Sachin S. Sapatnekar, Sung-Mo (Steve) Kang
موضوع : Metal oxide semiconductors, Complementary - Design and construction - Data processing,Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
140. Design methodologies
پدیدآورنده : edited by S. Goto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction ، Integrated circuits
رده :
TK
7874
.
D4755
1986